public class X {
	public static void main(String[] args) {
		int i[] = new @Marker int @Marker [4];
		int j[] = new @Marker int @Marker [] { 10 };
		Zork z;
	}
}
